Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое Denotational Semantics Language - определение
Denotational semantics of the actor model
Найдено результатов: 7743
Denotational Semantics Language
<specification, language> (DSL) The specification language
used by the SIS compiler generator.
["SIS - Semantics Implementation System", P.D. Mosses, TR
DAIMI MD-30, Aarhus U, Denmark ].
(1996-10-13)
denotational semantics
APPROACH OF FORMALIZING THE MEANINGS OF PROGRAMMING LANGUAGES BY CONSTRUCTING MATHEMATICAL OBJECTS (CALLED DENOTATIONS) THAT DESCRIBE THE MEANINGS OF EXPRESSIONS FROM THE LANGUAGES
Fully abstract; Full abstraction; Full completeness; History of denotational semantics; Mathematical semantics; Scott-Strachey semantics; Scott–Strachey semantics
<theory> A technique for describing the meaning of programs in
terms of mathematical functions on programs and program
components. Programs are translated into functions about
which properties can be proved using the standard mathematical
theory of functions, and especially domain theory.
Compare axiomatic semantics, operational semantics,
standard semantics.
(1996-08-21)
Denotational semantics
APPROACH OF FORMALIZING THE MEANINGS OF PROGRAMMING LANGUAGES BY CONSTRUCTING MATHEMATICAL OBJECTS (CALLED DENOTATIONS) THAT DESCRIBE THE MEANINGS OF EXPRESSIONS FROM THE LANGUAGES
Fully abstract; Full abstraction; Full completeness; History of denotational semantics; Mathematical semantics; Scott-Strachey semantics; Scott–Strachey semantics
In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages. Other approaches providing formal semantics of programming languages include axiomatic semantics and operational semantics.
Semantics (computer science)
THE FIELD CONCERNED WITH THE RIGOROUS MATHEMATICAL STUDY OF THE MEANING OF PROGRAMMING LANGUAGES
Program semantics; Programming language semantics; Formal semantics of programming languages; Semantics of programming languages
In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Semantics assigns computational meaning to valid strings in a programming language syntax.
semantics
SEMANTICS IN ALL CATEGORIES
Semantic; Semantically; Semantician; Sematics; Meaning (linguistics); Meaning (linguistic); Semantics (linguistics); Meaningful; Semanticist; Cognitive meaning; Linguistic semantics; Linguistic meaning; Sepersontics; Cognitive meanings; Psychological semantics; Meaningfulness; Natural language semantics; Psychosemantics; Theories of semantics; Cross-cultural semantics; Semantics (natural language); Semantics (philosophy); History of semantics
Note: The form 'semantic' is used as a modifier.
Semantics is the branch of linguistics that deals with the meanings of words and sentences.
N-UNCOUNT
semantics
SEMANTICS IN ALL CATEGORIES
Semantic; Semantically; Semantician; Sematics; Meaning (linguistics); Meaning (linguistic); Semantics (linguistics); Meaningful; Semanticist; Cognitive meaning; Linguistic semantics; Linguistic meaning; Sepersontics; Cognitive meanings; Psychological semantics; Meaningfulness; Natural language semantics; Psychosemantics; Theories of semantics; Cross-cultural semantics; Semantics (natural language); Semantics (philosophy); History of semantics
¦ plural noun [usu. treated as sing.]
1. the branch of linguistics and logic concerned with meaning.
2. the meaning of a word, phrase, sentence, or text.
Derivatives
semantician noun
semanticist noun
Semantics
SEMANTICS IN ALL CATEGORIES
Semantic; Semantically; Semantician; Sematics; Meaning (linguistics); Meaning (linguistic); Semantics (linguistics); Meaningful; Semanticist; Cognitive meaning; Linguistic semantics; Linguistic meaning; Sepersontics; Cognitive meanings; Psychological semantics; Meaningfulness; Natural language semantics; Psychosemantics; Theories of semantics; Cross-cultural semantics; Semantics (natural language); Semantics (philosophy); History of semantics
Semantics (from (semantikos), "related to meaning, significant", from semaino, "to signify, to indicate", which is from sema, "sign, mark, token". The plural is used in analogy with words similar to physics, which was in the neuter plural in Ancient Greek and meant "things relating to nature".
semantics
SEMANTICS IN ALL CATEGORIES
Semantic; Semantically; Semantician; Sematics; Meaning (linguistics); Meaning (linguistic); Semantics (linguistics); Meaningful; Semanticist; Cognitive meaning; Linguistic semantics; Linguistic meaning; Sepersontics; Cognitive meanings; Psychological semantics; Meaningfulness; Natural language semantics; Psychosemantics; Theories of semantics; Cross-cultural semantics; Semantics (natural language); Semantics (philosophy); History of semantics
n. general; generative semantics
semantics
SEMANTICS IN ALL CATEGORIES
Semantic; Semantically; Semantician; Sematics; Meaning (linguistics); Meaning (linguistic); Semantics (linguistics); Meaningful; Semanticist; Cognitive meaning; Linguistic semantics; Linguistic meaning; Sepersontics; Cognitive meanings; Psychological semantics; Meaningfulness; Natural language semantics; Psychosemantics; Theories of semantics; Cross-cultural semantics; Semantics (natural language); Semantics (philosophy); History of semantics
<theory> The meaning of a string in some language, as opposed
to syntax which describes how symbols may be combined
independent of their meaning.
The semantics of a programming language is a function from
programs to answers. A program is a closed term and, in
practical languages, an answer is a member of the syntactic
category of values. The two main kinds are {denotational
semantics} and operational semantics.
(1995-06-21)
semantic
SEMANTICS IN ALL CATEGORIES
Semantic; Semantically; Semantician; Sematics; Meaning (linguistics); Meaning (linguistic); Semantics (linguistics); Meaningful; Semanticist; Cognitive meaning; Linguistic semantics; Linguistic meaning; Sepersontics; Cognitive meanings; Psychological semantics; Meaningfulness; Natural language semantics; Psychosemantics; Theories of semantics; Cross-cultural semantics; Semantics (natural language); Semantics (philosophy); History of semantics
[s?'mant?k]
¦ adjective relating to meaning in language or logic.
Derivatives
semantically adverb
semanticity noun
Origin
C17: from Fr. semantique, from Gk semantikos 'significant'.
Википедия
Denotational semantics of the Actor model
The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. The historical development of this subject is recounted in [Hewitt 2008b].
